-
1 forme
1.стр. (очертание) форма2. сущ.1) общ. внешний вид, внешность, контуры, кто-то, образец, строение, установленный порядок, устройство, что-то, наружные очертания (предмета), бодрость, видение, лекало, формальности, хорошая форма, хорошие манеры, шаблон, колодка (для обуви, головных уборов), литейная форма, нечто неясное, приличия, сырная форма, тулья, форма, хорошее физическое состояние, фасон (шляпы)2) мор. док, бассейн3) устар. лисья нора, заячья нора4) тех. обувная колодка5) стр. песчаная подушка, подушка основания, рельеф, (de sable) песчаное основание под мостовую, основание6) матем. выражение7) вет. нарост на фалангах (у лошади)8) метал. модификация9) полигр. печатная форма10) выч. предварённая форма (прямая польская запись), бланк (ñì. òæ. formulaire), формуляр, формат (см. тж. format)11) маш. конфигурация, форма (кузнечный инструмент), вид (напр. уравнения)
См. также в других словарях:
ПРЕДВАРЁННАЯ ФОРМА — нормальная форма представления формул предикатов исчисления, имеющая (в общем случае) вид: ФОРМА > где Qι (0 ≤ ι ≤ n) – квантор общности (∀) или существования (∃); (...) формула, не содержащая кванторов и находящаяся в области действия каждого… … Философская энциклопедия
НОРМАЛЬНАЯ ФОРМА — (в математи ч е с к о й л о г и к е) – наиболее простая в к. л. отношении – стандартная – форма представления логич. объектов (предложений, формул, доказательств, схем определений и др.). Понятие о Н. ф. вводится в каждом конкретном случае… … Философская энциклопедия
ПРЕДИКАТОВ ИСЧИСЛЕНИЕ — общее название исчислений математической логики, являющихся формализацией тех разделов совр. логики, к рые изучают субъектно предикатную структуру предложений (высказываний), понимаемую в более широком, чем в традиц. логике, смысле: помимо теории … Философская энциклопедия
Германия — ГЕРМАНІЯ. I. Общія военно статист. и географ. данныя. Г. занимаетъ площадь въ 540.778 кв. клм. На в. граничитъ съ Россіей (1.184 клм.), на ю. съ Австро Венгріей (2.318) и Швейцаріей (333), на з. съ Франціей (405), Люксембургомъ (208), Бельгіей… … Военная энциклопедия